A. Wilkie, J. Paris. "On the scheme of induction for bounded arithmetic formulas" - Internet Explorer 2.0

A. Wilkie, J. Paris. "On the scheme of induction for bounded arithmetic formulas"